export the virtual machine from VirtualBox